Guidelines for Using SDL in Product Development
نویسندگان
چکیده
Over the course of several years working with many diverse projects using SDL for the design of commercial products, we have developed several practical guidelines related to creating SDL models for deployment. This paper discusses the SDL modeling guidelines, covering general recommendations, specific details about using SDL modeling features, performance considerations, platform interface considerations, and portability issues. These guidelines can be used by anyone who is creating design models that will be implemented, either through hand coding or automatic code generation.
منابع مشابه
Supporting Evolution of SDL-based Systems: Industrial Experience
Stentofon, a Norwegian company producing customized internal communication systems, uses SDL and automatic code generation for software development. A crucial issue for the success of the approach in this industrial context turns out to be efficient handling of system variants and evolution. The paper starts with a description of the approach to software development currently used at Stentofon,...
متن کاملSPEET SDL performance evaluation tool
This paper presents a new tool, named SDL Performance Evaluation Tool (SPEET) 2 , for the performance analysis of formally speciied systems under real{time conditions. SPEET facilitates the simulation and emulation of several formal speciications at the same time. The systems to be simulated, resp. to be emulated, can be triggered by traac load generators and can be interconnected with transmis...
متن کاملPerformance Analysis of Communication Systems Formally Specified in SDL
This paper first presents the SDL–oriented method of software design and then points out how to handle the non–functional, quantitative design of an SDL–system using performance analysis. Finally, a new tool, named SDL Performance Evaluation Tool (SPEET)1, is presented for the performance analysis of formally specified systems under real–time conditions. SPEET facilitates the simulation and emu...
متن کاملPerformance Analysis of Communication Systems Formally Speciied in Sdl
This paper rst presents the SDL{oriented method of software design and then points out how to handle the non{functional, quantitative design of an SDL{system using performance analysis. Finally, a new tool, named SDL Performance Evaluation Tool (SPEET) 2 , is presented for the performance analysis of formally speciied systems under real{time conditions. SPEET facilitates the simulation and emul...
متن کاملUsing SDL for Prototyping Low Rate Wireless Personal Area Networks
This paper describes the use of the specification and description language (SDL) as a prototyping tool for a developing low rate wireless personal area network protocol. A simplification of the guidelines for protocol formalization using SDL is used to create a behavioral model. This behavior model is then hand-tested for protocol behavior using software tools that permit simulation of the SDL ...
متن کامل